
Fig 2.1 Tokio time

Fig 2.2 Interval

Fig 2.3 No temporal operator

Fig 2.4 Chop operator

Fig 2.5 Next operator

Fig 2.6 Always operator

Fig 2.7 Sometime operator

Fig 2.8 Keep operator

Fig 2.9 Fin operator

Fig 2.10 Tokio variable

Fig 2.11 Unify at now '='

Fig 2.12 Temporal assignment '<-'

Fig 2.13 Unification between now and next

Fig 2.14 Interval generation by chop operator

Fig 2.15 Interval generation by next operator

Fig 2.16 Interval generation by always operator

Fig 3.1 Simple examples

Fig 3.2 Memory system

Fig 3.3 Memory system using global variables

Fig 3.4 Unify processor

